An IDE to Build and Check Task Flow Models
نویسندگان
چکیده
This paper presents the Eclipse plug-ins for the Task Flow model in the Discovery Method. These plug-ins provide an IDE for the Task Algebra compiler and the model-checking tools. The Task Algebra is the formal representation for the Task Model and it is based on simple and compound tasks. The model-checking techniques were developed to validate Task Models represented in the algebra.
منابع مشابه
Experimental Study of the Effect of Hydraulic Parameters on Debris Flow Control in Inclined Slit Trapezoidal Check Dams
Check dams are one of the structures used to control debris flows. In this study, in order to evaluate the effect of hydraulic parameters on debris sediment trapping rate by the slit trapezoidal check dams with different angles, and to develop an empirical relation for determination of trapping coefficient of the dam reservoirs, three physical models of the check dams were used. The tests were ...
متن کاملMonitoring of Regional Low-Flow Frequency Using Artificial Neural Networks
Ecosystem of arid and semiarid regions of the world, much of the country lies in the sensitive and fragile environment Canvases are that factors in the extinction and destruction are easily destroyed in this paper, artificial neural networks (ANNs) are introduced to obtain improved regional low-flow estimates at ungauged sites. A multilayer perceptron (MLP) network is used to identify the funct...
متن کاملPosition Paper: Static Flow-Sensitive & Context-Sensitive Information-flow Analysis for Software Product Lines
A software product line encodes a potentially large variety of software products as variants of some common code base, e.g., through the use of #ifdef statements or other forms of conditional compilation. Traditional information-flow analyses cannot cope with such constructs. Hence, to check for possibly insecure information flow in a product line, one currently has to analyze each resulting pr...
متن کاملTowards Seamless and Ubiquitous Availability of Dynamic Information in IDEs∗
Software developers faced with unfamiliar objectoriented code need to build a mental model of the system to understand its dynamic flow. Development environments typically provide static views of the source code (e.g., classes and methods), but do not explicitly represent dynamic collaborations. The task of revealing how static source artifacts interact at runtime is thus challenging.To address...
متن کاملRegain Control of Growing Dependencies in OMNeT++ Simulations
When designing simulation models, it is favourable to reuse existing models as far as possible to reduce the effort from the first idea to simulation results. Thanks to the OMNeT++ community, there are several toolboxes available covering a wide range of network communication protocols. However, it can be quite a daunting task to handle the build process when multiple existing simulation models...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1107.2683 شماره
صفحات -
تاریخ انتشار 2011